008abc055b210b4e2c6e06ebbff8dd5614c5f71e,projects/batfish-client/src/org/batfish/client/BfCoordWorkHelper.java,BfCoordWorkHelper,isReachable,#,484
Before Change
}
if (e.getMessage()
.contains("SocketException: Unexpected end of file")) {
_logger.errorf(
"SocketException while connecting to coordinator. (Are you using SSL?)\n");
return false;
}
throw e;
After Change
}
if (e.getMessage()
.contains("SocketException: Unexpected end of file")) {
if (chatty) {
_logger.errorf(
"SocketException while connecting to coordinator. (Are you using SSL?)\n");
}
return false;
}